Applying Model-based SE Techniques for Dependable Land Systems

Model-based automated analysis for dependable interactive systems

The design of dependable interactive systems involves stakeholders from multiple disciplines. Despite the fact that these designers share similar design goals they often do not collaborate. A lack of collaboration in a design team can yield to sub-optimal products because design flaws might be detected too late or not at all. For example, system designers might invest substantial effort into de...

An object-based model for dependable real-time distributed systems

A systematic way to introduce fault-tolerant and time-dependent properties into a complex software system is presented. The approach is based on an extended Petri Net model, called the G-Net, enhanced with the deterministic timing scheme. In Timed G-Net (TGN) model, exception handling and time-out mechanism,is used to introduce the fault tolerance properties. The basic idea is to avoid the timi...

Model-Based Methodologies for the Continuous Development of Dependable Systems

Applying case-based reasoning - techniques for the enterprise systems

Introducing a new hobby for other people may inspire them to join with you. Reading, as one of mutual hobby, is considered as the very easy hobby to do. But, many people are not interested in this hobby. Why? Boring is the reason of why. However, this feel actually can deal with the book and time of you reading. Yeah, one that we will refer to break the boredom in reading is choosing applying c...

A Model for Failures in Dependable Systems

This document describes a model for failures in dependable systems. A general failure model is described in terms of a system consisting of interacting components. This model is then applied to an object-based interaction model. The model is based on events which occur with some value at some time. Components in the system observe events and have expectations which define regions in a value, ti...